A Tame Cantor Set
نویسندگان
چکیده
A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set K ⊆ R is constructed such that every set definable in (R, <,+, ·,K) is Borel. In addition, we prove quantifierelimination and completeness results for (R, <,+, ·,K), making the set K the first example of a modeltheoretically tame Cantor set. This answers questions raised by Friedman, Kurdyka, Miller and Speissegger. The work in this paper depends crucially on results about automata on infinite words, in particular Büchi’s celebrated theorem on the monadic second-order theory of one successor and McNaughton’s theorem on Muller automata, which have never been used in the setting of expansions of the real field.
منابع مشابه
Extending Maps of a Cantor Set Product with an Arc to near Homeomorphisms of the 2-disk
In 1990, M. Barge and J. Martin [BM90] proved that the shift map on the inverse limit space ([0, 1], f), for any map f : [0, 1]→ [0, 1], can be realized as a global attractor in the plane. In 1960, M. Brown [Bro60] proved that the inverse limit space of any near homeomorphism (Definition 1.2) of a compact metric space is homeomorphic to the original space. M. Barge and J. Martin prove that, for...
متن کاملA Set Is a 3 Cell If Its Cartesian Product with an Arc Is a 4 Cell1
We are learning strange things about cartesian products. Shapiro has shown that the cartesian product of a line and a certain example described by Whitehead [ló] is topologically E4. The example is a bounded open subset of E3 that is simply connected but which contains a simple closed curve which does not lie in any topological cube in it [3]. Glimm has given a proof of this result in [9] and a...
متن کاملTame Loci of Generalized Local Cohomology Modules
Let $M$ and $N$ be two finitely generated graded modules over a standard graded Noetherian ring $R=bigoplus_{ngeq 0} R_n$. In this paper we show that if $R_{0}$ is semi-local of dimension $leq 2$ then, the set $hbox{Ass}_{R_{0}}Big(H^{i}_{R_{+}}(M,N)_{n}Big)$ is asymptotically stable for $nrightarrow -infty$ in some special cases. Also, we study the torsion-freeness of graded generalized local ...
متن کاملSelf-universal Crumpled Cubes and a Dogbone Space
The question of whether each self-universal crumpled cube is universal is answered negatively by presenting an example of a dogbone space which is not topologically E3 but which can be expressed as a sewing of two crumpled cubes, one of which is selfuniversal. C. D. Bass and R. J. Davernian [2] presented a brief paper indicating that the solid Alexander horned sphere is an example of a crumpled...
متن کاملCompleteness in Probabilistic Metric Spaces
The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015